Generalized Quanti ers
نویسندگان
چکیده
We considered the problem of processing queries that contain generalized quanti ers. We demonstrate that current relational systems are ill-equipped, both at the language and at the query processing level, to deal with such queries. We propose a boolean matrix approach which establishes the feasibility of building systems that can process queries with generalized quanti ers e ciently, and we provide insights into the intrinsic di culties associated with processing such queries.
منابع مشابه
Quanti ers in TIME and SPACE Computational Complexity of Generalized Quanti ers in Natural Language
231
متن کاملAn Overview of Fuzzy Quanti ers Part Interpretations
Quanti cation is an important topic in fuzzy theory and its applica tions An overview is presented for quanti cation in fuzzy theory After This work has been supported by the International Projects of the Flemish Community Cooperation with P R China No a brief review of quanti ers in rst order logic two approaches of gen eralizing quantifers are given the algebraic method and the substitution m...
متن کاملProviding Better Support for Quanti ed Queries
Relational database systems do not e ectively support complex queries containing quanti ers (quanti ed queries) that are increasingly becoming important in decision support applications. Generalized quanti ers provide an e ective way of expressing such queries naturally. In this paper, we consider the problem of processing quanti ed queries within the generalized quanti er framework. We demonst...
متن کاملIdenti ability in the Limit of Context - Free Generalized
We investigate the indenti ability in the limit of subclasses of generalized quanti ers de nable in Presburger arithmetic.
متن کاملInterpolation for a Sequent Calculus of Generalized Quantifiers
Van Lambalgen (1991) proposed a translation from a language containing a generalized quanti er Q into a rst-order language enriched with a family of predicates R i , for every arity i (or an in nitary predicate R) which takes Qx (x; y 1 ; : : : ; y n ) to 8x(R(x; y 1 ; : : : ; y n ) ! (x;y 1 ; : : : ; y n )) (y 1 ; : : : ; y n are precisely the free variables of Qx ). The logic of Q (without or...
متن کامل